La poésie antique du Sangam est-elle vraiment une poésie du paysage ? Littérature tamoule classique et vision contemporaine du paysage

le paysage, la discipline du futur

0

Apprentissage statistique et programmation génétique: la croissance du code est-elle inévitable?

N. Bredeche, S. Gelly, M. Schoenauer, O. Teytaud. A Statistical Learning Approach to bloat and universal consistency in genetic programming. Poster of Gecco 2005. S. Gelly, O. Teytaud, N. Bredeche, M. Schoenauer. Apprentissage statistique et programmation genetique : la croissance du code est-elle inevitable ? pp163-178. Proceedings of CAP’2005. Universal Consistency, the convergence to the min...

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Contribution a l'etude du traitement de la morve experimentale du cobaye par l'anamorve, la sulfadiazine, la penicilline et la Streptomycine

l’étude du thème du « regard » dans la poésie de paul éluard

le « regard » est un des thèmes importants de la littérature française. l’importance de ce thème se redouble surtout par les rapports étroits entre la poésie et l’art plastique au xxe siècle et elle s’effectue surtout à travers les rapports entre le surréalisme et la peinture. dans cet article, nous envisageons d’étudier la thématique du « regard » et ses différents aspects dans l’univers de p...